1. Logic with prolog

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Prolog (Computer program language),Logic programming

رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988

2. Logic with prolog

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع: Prolog ( Computer Program language),Logic programming

رده :
QA
76
.
73
.
P76G53
1988

3. Particles and paradoxes: The limits of quantum logic

پدیدآورنده:

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع: ، Quantum logic,Philosophy ، Physics

رده :
QC
174
.
12
.
G5P3

4. Particles and paradoxes : the limits of quantum logic

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Quantum theory

رده :
QC
174
.
12
.
G54
1987